کتاب Automated Construction of XSL-Templates: An Inductive Programming Approach

وضعیت موجودی موجود

مقایسه شود

قیمت قبلی: 2,040,000 ریال

قیمت: 1,640,000 ریال

Product details

Publisher ‏ : ‎ VDM Verlag (May 27, 2008)
Language ‏ : ‎ English
Paperback ‏ : ‎ 124 pages
ISBN-10 ‏ : ‎ 363900194X
ISBN-13 ‏ : ‎ 978-3639001945

This work bridges the gap between fundamental research in Inductive Program Synthesis and its practical application for end user programming. It demonstrates that it is indeed feasible to automatically generate XSLT stylesheets from a few examples which define the desired input/output behaviour, using the synthesis system for recursive functional programs IGOR which is set up in a term rewriting framework. The generated XSLT stylesheets apply simple string functions on text nodes of XML documents. To provide the inductive synthesis system IGOR with appropriate I/O examples a prototypical system transforms the strings of an initial I/O pair into a list of substrings as underlying data structure. By recombining the substrings of the input strings, new possible input strings are generated, chosen and completed by the user, and transformed into a specification for IGOR. A parser finally transforms the synthesised functional program into an XSLT stylesheet.

منابع کتاب کتاب Automated Construction of XSL-Templates: An Inductive Programming Approach

این کار شکاف بین تحقیقات بنیادی در سنتز برنامه استقرایی و کاربرد عملی آن برای برنامه‌نویسی کاربر نهایی را پر می‌کند. این نشان می دهد که در واقع امکان تولید خودکار شیوه نامه های XSLT از چند مثال که رفتار ورودی/خروجی مورد نظر را تعریف می کنند، با استفاده از سیستم سنتز برای برنامه های عملکردی بازگشتی IGOR که در یک چارچوب بازنویسی اصطلاحی تنظیم شده است، امکان پذیر است. شیوه نامه های XSLT تولید شده، توابع رشته ای ساده را روی گره های متنی اسناد XML اعمال می کنند. برای ارائه سیستم سنتز القایی IGOR با نمونه های ورودی/خروجی مناسب، یک سیستم نمونه اولیه رشته های یک جفت ورودی/خروجی اولیه را به فهرستی از زیررشته ها به عنوان ساختار داده زیربنایی تبدیل می کند. با ترکیب مجدد زیر رشته‌های رشته‌های ورودی، رشته‌های ورودی ممکن جدید تولید، انتخاب و توسط کاربر تکمیل می‌شوند. و به مشخصات IGOR تبدیل شد. یک تجزیه کننده در نهایت برنامه کاربردی سنتز شده را به یک شیوه نامه XSLT تبدیل می کند.